Matteo Pradella: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Parallel parsing of operator precedence grammars

Barenghi, Alessandro, Crespi Reghizzi, Stefano, Mandrioli, Dino, Pradella, Matteo

Journal:

Information Processing Letters

Year:

2013

Language:

english

File:

PDF, 163 KB

english, 2013

2

A CKY parser for picture grammars

Stefano Crespi Reghizzi, Matteo Pradella

Journal:

Information Processing Letters

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008

3

Picture languages: Tiling systems versus tile rewriting grammars

Alessandra Cherubini, Stefano Crespi Reghizzi, Matteo Pradella, Pierluigi San Pietro

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 264 KB

english, 2006

4

A SAT-based parser and completer for pictures specified by tiling

Matteo Pradella, Stefano Crespi Reghizzi

Journal:

Pattern Recognition

Year:

2008

Language:

english

File:

PDF, 367 KB

english, 2008

5

Tile rewriting grammars and picture languages

Stefano Crespi Reghizzi, Matteo Pradella

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 550 KB

english, 2005

6

A unifying approach to picture grammars

Matteo Pradella, Alessandra Cherubini, Stefano Crespi Reghizzi

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 298 KB

english, 2011

7

Context-oriented programming: A software engineering perspective

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 993 KB

english, 2012

8

Associative definition of programming languages

Stefano Crespi Reghizzi, Matteo Pradella, Pierluigi San Pietro

Journal:

Computer Languages

Year:

2000

Language:

english

File:

PDF, 151 KB

english, 2000

9

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms

Bersani, Marcello M., Furia, Carlo A., Pradella, Matteo, Rossi, Matteo

Year:

2009

Language:

english

File:

PDF, 509 KB

english, 2009

10

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking

Pradella, Matteo, Morzenti, Angelo, San Pietro, Pierluigi

Year:

2008

Language:

english

File:

PDF, 190 KB

english, 2008

11

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability

Bersani, Marcello M., Cavallaro, Luca, Frigeri, Achille, Pradella, Matteo, Rossi, Matteo

Year:

2010

File:

PDF, 1.59 MB

2010

12

Constraint LTL satisfiability checking without automata

Bersani, Marcello M., Frigeri, Achille, Morzenti, Angelo, Pradella, Matteo, Rossi, Matteo, San Pietro, Pierluigi

Journal:

Journal of Applied Logic

Year:

2014

Language:

english

File:

PDF, 886 KB

english, 2014

13

[IEEE 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Oxford, United Kingdom (2010.03.22-2010.03.26)] 2010 15th IEEE International Conference on Engineering of Complex Computer Systems - A Tile-Based Approach for Self-Assembling Service Compositions

Cavallaro, Luca, Nitto, Elisabetta Di, Furia, Carlo A., Pradella, Matteo

Year:

2010

Language:

english

File:

PDF, 667 KB

english, 2010

14

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - Bounded Reachability for Temporal Logic over Constraint Systems

Bersani, Marcello M., Frigeri, Achille, Morzenti, Angelo, Pradella, Matteo, Rossi, Matteo, San Pietro, Pierluigi

Year:

2010

Language:

english

File:

PDF, 414 KB

english, 2010

15

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07 Companion) - Trio2Promela: A Model Checker for Temporal Metric Specifications

Bianculli, Domenico, Morzenti, Angelo, Pradella, Matteo, Pietro, Pierluigi San, Spoletini, Paola

Year:

2007

Language:

english

File:

PDF, 120 KB

english, 2007

16

ContextErlang: A language for distributed context-aware self-adaptive applications

Salvaneschi, Guido, Ghezzi, Carlo, Pradella, Matteo

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 925 KB

english, 2015

17

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - A UML 2-compatible language and tool for formal modeling real-time system architectures

Colombo, Pietro, Pradella, Matteo, Rossi, Matteo

Year:

2006

Language:

english

File:

PDF, 654 KB

english, 2006

18

[ACM Press the 2010 ICSE Workshop - Cape Town, South Africa (2010.05.03-2010.05.04)] Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '10 - Programming language support to context-aware adaptation

Ghezzi, Carlo, Pradella, Matteo, Salvaneschi, Guido

Year:

2010

Language:

english

File:

PDF, 568 KB

english, 2010

19

Bounded satisfiability checking of metric temporal logic specifications

Pradella, Matteo, Morzenti, Angelo, Pietro, Pierluigi San

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 850 KB

english, 2013

20

An Analysis of Language-Level Support for Self-Adaptive Software

Salvaneschi, Guido, Ghezzi, Carlo, Pradella, Matteo

Journal:

ACM Transactions on Autonomous and Adaptive Systems

Year:

2013

Language:

english

File:

PDF, 384 KB

english, 2013

21

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization

Lonati, Violetta, Mandrioli, Dino, Panella, Federica, Pradella, Matteo

Journal:

SIAM Journal on Computing

Year:

2015

Language:

english

File:

PDF, 681 KB

english, 2015

22

[ACM Press the 2nd International Workshop - Maribor, Slovenia (2010.06.22-2010.06.22)] Proceedings of the 2nd International Workshop on Context-Oriented Programming - COP '10 - Context oriented programming in highly concurrent systems

Ghezzi, Carlo, Pradella, Matteo, Salvaneschi, Guido

Year:

2010

Language:

english

File:

PDF, 94 KB

english, 2010

23

[ACM Press Proceeding of the 6th international symposium - Waikiki, Honolulu, HI, USA (2011.05.23-2011.05.24)] Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems - SEAMS '11 - An evaluation of the adaptation capabilities in programming languages

Ghezzi, Carlo, Pradella, Matteo, Salvaneschi, Guido

Year:

2011

Language:

english

File:

PDF, 855 KB

english, 2011

24

[ACM Press the 9th ACM International Conference - Oslo, Norway (2015.06.29-2015.07.03)] Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems - DEBS '15 - Efficient analysis of event processing applications

Cugola, Gianpaolo, Margara, Alessandro, Pezzè, Mauro, Pradella, Matteo

Year:

2015

Language:

english

File:

PDF, 677 KB

english, 2015

25

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - A formal approach for designing CORBA based applications

Pradella, Matteo, Rossi, Matteo, Mandrioli, Dino, Coen-Porisini, Alberto

Year:

2000

Language:

english

File:

PDF, 231 KB

english, 2000

26

A formal approach for designing CORBA-based applications

Coen-Porisini, Alberto, Pradella, Matteo, Rossi, Matteo, Mandrioli, Dino

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2003

Language:

english

File:

PDF, 467 KB

english, 2003

27

[ACM Press the 3rd International Workshop - Lancaster, United Kingdom (2011.07.25-2011.07.25)] Proceedings of the 3rd International Workshop on Context-Oriented Programming - COP '11 - JavaCtx

Salvaneschi, Guido, Ghezzi, Carlo, Pradella, Matteo

Year:

2011

Language:

english

File:

PDF, 538 KB

english, 2011

28

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - The symmetry of the past and of the future

Pradella, Matteo, Morzenti, Angelo, San Pietro, Pierluigi

Year:

2007

Language:

english

File:

PDF, 208 KB

english, 2007

29

Comments on temporal logics for real-time system specification

Furia, Carlo A., Pradella, Matteo, Rossi, Matteo

Journal:

ACM Computing Surveys

Year:

2009

Language:

english

File:

PDF, 71 KB

english, 2009

30

[ACM Press the 2010 ICSE Workshop - Cape Town, South Africa (2010.05.03-2010.05.04)] Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '10 - Synthesizing adapters for conversational web-services from their WSDL interface

Cavallaro, Luca, Di Nitto, Elisabetta, Pelliccione, Patrizio, Pradella, Matteo, Tivoli, Massimo

Year:

2010

Language:

english

File:

PDF, 297 KB

english, 2010

31

[ACM Press the 11th annual international conference - Potsdam, Germany (2012.03.25-2012.03.30)] Proceedings of the 11th annual international conference on Aspect-oriented Software Development - AOSD '12 - ContextErlang

Salvaneschi, Guido, Ghezzi, Carlo, Pradella, Matteo

Year:

2012

Language:

english

File:

PDF, 669 KB

english, 2012

32

Parallel parsing made practical

Barenghi, Alessandro, Crespi Reghizzi, Stefano, Mandrioli, Dino, Panella, Federica, Pradella, Matteo

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

33

Toward a theory of input-driven locally parsable languages

Crespi Reghizzi, Stefano, Lonati, Violetta, Mandrioli, Dino, Pradella, Matteo

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

34

The alternative splicing factor Nova2 regulates vascular development and lumen formation

Giampietro, Costanza, Deflorian, Gianluca, Gallo, Stefania, Di Matteo, Anna, Pradella, Davide, Bonomi, Serena, Belloni, Elisa, Nyqvist, Daniel, Quaranta, Valeria, Confalonieri, Stefano, Bertalot, Giov

Journal:

Nature Communications

Year:

2015

Language:

english

File:

PDF, 3.47 MB

english, 2015

35

Generalizing input-driven languages: Theoretical and practical benefits

Mandrioli, Dino, Pradella, Matteo

Journal:

Computer Science Review

Year:

2018

Language:

english

File:

PDF, 827 KB

english, 2018

36

SAM68: Signal Transduction and RNA Metabolism in Human Cancer

Frisone, Paola, Pradella, Davide, Di Matteo, Anna, Belloni, Elisa, Ghigna, Claudia, Paronetto, Maria Paola

Journal:

BioMed Research International

Year:

2015

Language:

english

File:

PDF, 2.18 MB

english, 2015

37

Alternative splicing in Alzheimer’s disease

Biamonti, Giuseppe, Amato, Angela, Belloni, Elisa, Di Matteo, Anna, Infantino, Lucia, Pradella, Davide, Ghigna, Claudia

Journal:

Aging Clinical and Experimental Research

Year:

2019

Language:

english

File:

PDF, 2.09 MB

english, 2019

38

Alternative splicing in Alzheimer’s disease

Biamonti, Giuseppe, Amato, Angela, Belloni, Elisa, Di Matteo, Anna, Infantino, Lucia, Pradella, Davide, Ghigna, Claudia

Journal:

Aging Clinical and Experimental Research

Year:

2019

File:

PDF, 2.09 MB

2019

39

Gene Expression Profiles Controlled by the Alternative Splicing Factor Nova2 in Endothelial Cells

Belloni, Elisa, Di Matteo, Anna, Pradella, Davide, Vacca, Margherita, Wyatt, Christopher D. R., Alfieri, Roberta, Maffia, Antonio, Sabbioneda, Simone, Ghigna, Claudia

Journal:

Year:

2019

Language:

english

File:

PDF, 2.31 MB

english, 2019

40

Strategies to scan pictures with automata based on Wang tiles

Lonati, Violetta, Pradella, Matteo

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2011

Language:

english

File:

PDF, 252 KB

english, 2011

41

Gene Expression Profiles Controlled by the Alternative Splicing Factor Nova2 in Endothelial Cells

Belloni, Elisa, Di Matteo, Anna, Pradella, Davide, Vacca, Margherita, Wyatt, Christopher D. R., Alfieri, Roberta, Maffia, Antonio, Sabbioneda, Simone, Ghigna, Claudia

Journal:

Year:

2019

File:

PDF, 2.31 MB

2019

42

Strategies to scan pictures with automata based on Wang tiles

Lonati, Violetta, Pradella, Matteo

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2011

File:

PDF, 252 KB

2011

43

Beyond operator-precedence grammars and languages

Crespi Reghizzi, Stefano, Pradella, Matteo

Journal:

Journal of Computer and System Sciences

Year:

2020

File:

PDF, 628 KB

2020

44

Operator precedence temporal logic and model checking

Chiari, Michele, Mandrioli, Dino, Pradella, Matteo

Journal:

Theoretical Computer Science

Year:

2020

File:

PDF, 62 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски